Distributed Termination Detection : General model and Algorithms

Termination detection constitutes one of the basic problems of distributed computing and many distributed algorithms have been proposed to solve it. These algorithms differ in the way they ensure consistency of the detection and in the assumptions they do concerning behaviour of channels (FIFO or not, bounded delay or asynchronous, etc). But all these algorithms consider a very simple model for underlying application programs : for processes of such programs non-deterministic constructs are allowed but each receive statement (request) concerns only one message at a time. In this paper a more realistic and very general model of distributed computing is first presented. This model allows a request (receive statement) to be atomic on several messages and to obey AND/OR/AND-OR/k out of n/etc request types. These request types are abstracted by the notion of an activation condition. Within this framework two definitions of termination are proposed and discussed. Then, accordingly, two distributed algorithms to detect these terminations are presented and evaluated ; they differ in the information they use and in the time they need to claim termination. Détection répartie de la terminaison : modèle et algorithmes généraux Résumé : La détection de la terminaison constitue l'un desprobì emes de base du calcul réparti et de nombreux algortihmes répartis ontété proposés pour le résoudre. Ces algorithmes se distinguent par lamanì ere d'assurer la cohérence de la détection et par les hypothèses de comportement des canaux. Mais ils considèrent tous un modèle très simple de calcul sous-jacent : chaque instruction de réception n'autorise qu'un seul messagè a la fois. Dans cet article, un modèle plus réaliste et très général est présenté : il autorise des instructions de réception atomiques sur plusieurs messages, avec des types ET/OU/ET-OU/k parmi n/etc. Le concept de condition d'activation constitue une abstraction de ces divers types. Dans ce cadre, deux définitions de la terminaison sont proposées et discutées, auxquelles correspondent deux algorithmes répartis, ´ evalés et démontrés : ils se distinguent par l'information utilisée et par le délai de détection Distributed termination detection